function enter(pi) {
	pi.playPortalSound(); pi.warp(240020600,"out00");
        return true;
}